widget: Add annotation (allow-none) for set_tooltip_text
authorCole Robinson <crobinso@redhat.com>
Sun, 13 Jan 2013 03:45:28 +0000 (22:45 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 21 Jan 2013 03:03:49 +0000 (22:03 -0500)
commitcbce906228e580102c3917c77c5159a966da067c
tree3bbd7ec8f5508f878ea3339e96660448b70d12d4
parentc7169e119e7e8a85e2421c4a8ae7a77d50a67412
widget: Add annotation (allow-none) for set_tooltip_text

https://bugzilla.gnome.org/show_bug.cgi?id=691639
gtk/gtkwidget.c